Перевод: с английского на все языки

со всех языков на английский

proof of consistency

См. также в других словарях:

  • Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… …   Wikipedia

  • Proof — Proof, a. [1913 Webster] 1. Used in proving or testing; as, a proof load, or proof charge. [1913 Webster] 2. Firm or successful in resisting; as, proof against harm; waterproof; bombproof. [1913 Webster] I . . . have found thee Proof against all… …   The Collaborative International Dictionary of English

  • Proof charge — Proof Proof, a. [1913 Webster] 1. Used in proving or testing; as, a proof load, or proof charge. [1913 Webster] 2. Firm or successful in resisting; as, proof against harm; waterproof; bombproof. [1913 Webster] I . . . have found thee Proof… …   The Collaborative International Dictionary of English

  • Proof impression — Proof Proof, a. [1913 Webster] 1. Used in proving or testing; as, a proof load, or proof charge. [1913 Webster] 2. Firm or successful in resisting; as, proof against harm; waterproof; bombproof. [1913 Webster] I . . . have found thee Proof… …   The Collaborative International Dictionary of English

  • Proof load — Proof Proof, a. [1913 Webster] 1. Used in proving or testing; as, a proof load, or proof charge. [1913 Webster] 2. Firm or successful in resisting; as, proof against harm; waterproof; bombproof. [1913 Webster] I . . . have found thee Proof… …   The Collaborative International Dictionary of English

  • Proof sheet — Proof Proof, a. [1913 Webster] 1. Used in proving or testing; as, a proof load, or proof charge. [1913 Webster] 2. Firm or successful in resisting; as, proof against harm; waterproof; bombproof. [1913 Webster] I . . . have found thee Proof… …   The Collaborative International Dictionary of English

  • Proof spirit — Proof Proof, a. [1913 Webster] 1. Used in proving or testing; as, a proof load, or proof charge. [1913 Webster] 2. Firm or successful in resisting; as, proof against harm; waterproof; bombproof. [1913 Webster] I . . . have found thee Proof… …   The Collaborative International Dictionary of English

  • Proof staff — Proof Proof, a. [1913 Webster] 1. Used in proving or testing; as, a proof load, or proof charge. [1913 Webster] 2. Firm or successful in resisting; as, proof against harm; waterproof; bombproof. [1913 Webster] I . . . have found thee Proof… …   The Collaborative International Dictionary of English

  • Proof stick — Proof Proof, a. [1913 Webster] 1. Used in proving or testing; as, a proof load, or proof charge. [1913 Webster] 2. Firm or successful in resisting; as, proof against harm; waterproof; bombproof. [1913 Webster] I . . . have found thee Proof… …   The Collaborative International Dictionary of English

  • Proof text — Proof Proof, a. [1913 Webster] 1. Used in proving or testing; as, a proof load, or proof charge. [1913 Webster] 2. Firm or successful in resisting; as, proof against harm; waterproof; bombproof. [1913 Webster] I . . . have found thee Proof… …   The Collaborative International Dictionary of English

  • Consistency — For other uses, see Consistency (disambiguation). In logic, a consistent theory is one that does not contain a contradiction.[1] The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»